Modal algebra - PDFSEARCH.IO - Document Search Engine

Modal algebra
Results: 105

#	Item
21	IEEE J-STSP SPECIAL ISSUE ON STATISTICAL LEARNING METHODS FOR SPEECH AND LANGUAGE PROCESSING 1 Speech Recognition with Flat Direct Models Patrick Nguyen, Member, IEEE, Georg Heigold, and Geoffrey Zweig, Senior Member, I Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-02-15 10:28:34 Markov models Abstract algebra Automatic identification and data capture Computer accessibility Speech recognition Hidden Markov model Mutual information Modal logic Exponentiation Mathematics Logic Computational linguistics
22	3. Extrapolation and its LimitsWhy should the unobserved part of reality resemble the observed part? Unobserved emeralds could just as easily be blue, as green. This is a puzzle about type 1 or “inductive” Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2012-05-17 04:38:09 Boolean algebra Binary operations Mathematical logic Truth table Contraposition Modal logic Negation Material conditional Truth Logic Propositional calculus Philosophical logic
23	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Propositional calculus Logical connective Modal depth FO Logic Mathematical logic Modal logic
24	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs Xiaoping Chen1 , Jianmin Ji1 , and Fangzhen Lin2 1 School of Computer Science and Technology, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2009-10-30 01:45:08 Mathematics Propositional calculus Boolean algebra Stable model semantics Predicate logic Answer set programming Clause Modal logic Algorithm Logic Mathematical logic Logic programming
25	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic
26	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Modal logic Proof theory Boolean algebra Functions and mappings Propositional calculus Provable Provability logic Function Default logic Mathematical logic Logic Mathematics
27	Proceedings of the ESSLLI 2014 Student Session 26th European Summer School in Logic, Language & Information August 11–22, 2014, Tübingen, Germany Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2014-08-26 09:50:28 Monoidal categories Quantum mechanics Dagger categories Non-classical logic Categorical quantum mechanics Quantum logic Logic Modal logic David Hilbert Category theory Mathematics Algebra
28	Journal of Machine Learning Research523 Submitted 6/10; Published 2/11 Learning Multi-modal Similarity Brian McFee Add to Reading List Source URL: bmcfee.github.io Language: English - Date: 2015-03-31 11:15:28 Abstract algebra Eigenvalues and eigenvectors Matrix theory Singular value decomposition Hilbert space Embedding Directed acyclic graph Matrix Nonlinear dimensionality reduction Algebra Mathematics Linear algebra
29	Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:36:03 Formal systems Model theory Propositional calculus Boolean algebra Modal logic Resolution Common knowledge Axiomatic system Constructible universe Logic Mathematical logic Mathematics
30	Automated logical verication based on trace abstractions Nils Klarlund Mogens Nielsen Kim Sunesen BRICSy Department of Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:25 Non-classical logic Matrix theory Trace Abstraction Modal logic Mind Logic Mathematics Linear algebra

UPDATE